Department of Computer Science - PDFSEARCH.IO - Document Search Engine

Department of Computer Science
Results: 12626

#	Item
61	Under review as a conference paper at ICLRM ETA L EARNING S HARED H IERARCHIES Jonathan Ho, Xi Chen, Pieter Abbeel UC Berkeley, Department of Electrical Engineering and Computer Science Add to Reading List Source URL: arxiv.org Language: English - Date: 2017-10-26 20:31:00 Machine learning Artificial intelligence Learning Statistical randomness Q-learning Metalearning Reinforcement learning Artificial neural network Meta learning Multi-armed bandit Markov decision process Feature learning
62	Revive: Rebalancing Off-Blockchain Payment Networks Rami Khalil Arthur Gervais Department of Computer Science Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2017-08-29 11:32:54 Cryptocurrencies Blockchains Economy Bitcoin Computing Money Alternative currencies Ethereum Lightning Network Smart contract RootStock Rebalancing investments
63	Power Signatures of High-Performance Computing Workloads Jacob Combs, Jolie Nazor, Rachelle Thysell, Fabian Santiago, Matthew Hardwick, Lowell Olson, Suzanne Rivoire Department of Computer Science Sonoma State University Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:27 Computing Cluster analysis Data mining Geostatistics Data analysis Computational statistics Hierarchical clustering K-means clustering Computer cluster Consensus clustering Spectral clustering
64	Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-04-04 09:30:36 Probability theory Statistical randomness Probability Markov models Stochastic game Markov chain Determinacy Game theory Strategy Probabilistic automaton Markov decision process Stochastic process
65	Roopsha Samanta Assistant Professor Department of Computer Science Purdue University Í Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-10-03 12:50:28 Theoretical computer science Computing Computer science Symposium on Principles of Programming Languages Electronic design automation Formal methods Logic in computer science Computer Aided Verification Helmut Veith High-level synthesis Formal verification Computer music
66	On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-10-18 19:42:36 Mathematical analysis Measure theory Mathematics Probability and statistics Determinacy Stochastic game Strategy Markov chain Stochastic process Support Mathematical optimization Statistical model
67	A Breadth-First Course in Multicore and Manycore Programming Suzanne Rivoire Sonoma State University Department of Computer Science Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:45:10 Concurrent computing Parallel computing Computing Computer programming Manycore processor Data parallelism General-purpose computing on graphics processing units Parallel programming model Multi-core processor Thread CUDA OpenMP
68	SIGCSE 2011 Poster Proposal: Universal Design for Learning in CS1 Suzanne Rivoire Department of Computer Science Sonoma State University, Rohnert Park, CA, USA Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:45:15 Education Learning Human behavior Pedagogy Segregation Educational psychology Higher education Universal Design for Learning Philosophy of education Educational technology Inclusion Accessibility
69	Expected Reachability-Time Games Vojtˇech Forejta , Marta Kwiatkowskaa , Gethin Normanb , Ashutosh Trivedic a Department of Computer Science, University of Oxford, UK. of Computing Science, University of Glasgow, UK. Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-04-15 06:20:35
70	Automated Verification Techniques for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-10-06 19:34:00 Markov models Probability Dynamic programming Markov processes Stochastic control Markov decision process Markov chain Linear temporal logic S2 Reinforcement learning S0

UPDATE